| class PQMINWT{E, WTP < $NUMBER{WTP}} < $IS_LT{PQMINWT{E,WTP}}, $STR |
|---|
| **** | A wrapper class for priority queue elements in which a weight (which is different from the element itself) is used In addition, the comparison function for the weight is reversed so that smaller weights are considered larger. Thus, minimum elements will be removed from the priority queue first |
| $STR | $IS_LT{_} | $IS_EQ |
| attr element: E; |
|---|
| attr weight:WTP; |
|---|
| attr element: E; |
|---|
| attr weight:WTP; |
|---|
| create(node:E,weight: WTP): SAME |
|---|
| is_eq(e: SAME):BOOL |
|---|
| is_eq(arg: $OB): BOOL .. Included as is_eq |
|---|
| is_lt(e: SAME):BOOL |
|---|
| str: STR |
|---|
| wtstr(w:WTP): STR |
|---|